\section*{TO DO}
\begin{itemize}
%\item clarify sets of names, values, free names, free variables, etc
%\item Say strcong extends to contexts $C$
\item polish example
\item discussion on subtyping, and other forms of compatibility
%\item recursive types? also variable types $\varphi$ never used
%\item define name passing and delegation
\item mention session fidelity
\item explain the dezani approach, along the lines of their sentence: "Distinctive of our approach is the choice of injecting some constructs supporting the static analysis directly in the syntax. Our choice is deliberate, and typical of the practice to couple language design with type analysis. This coupling is critical in frameworks like Global Computing [12], where it is unrealistic to assume acquaintance with all the entities which may in the future interact with us, as is usually done for standard type systems. The openness of the network and its very dynamic nature deny us any substantial form of global knowledge."
\end{itemize}